(0 20 11)(1 15 13)(2 7 4)(3 18 16)(5 19 17)(6 10 8)(9 14 12)
ALLOWS (11/8)-SEQUENCE
1: (5 17 19)
(0 20 11)(1 15 13)(2 7 4)(3 18 16)(5 17 19)(6 10 8)(9 14 12)
2: (3 18 16)
(0 20 11)(1 15 13)(2 7 4)(3)(5 17 19)(6 10 8)(9 14 12)(16)(18)
3: (5 17 19)
(0 20 11)(1 15 13)(2 7 4)(3)(5)(6 10 8)(9 14 12)(16)(17)(18)(19)
4: (2 7 4)
(0 20 11)(1 15 13)(2)(3)(4)(5)(6 10 8)(7)(9 14 12)(16)(17)(18)(19)